\begin{table}
\small
\centering
\begin{tabular}{l||c|c|c|c|c|c|c}{\bf Netlist}&{\bf Covered / Total}&{\bf Covered}&{\bf Templates}&{\bf Subgraphs}&{\bf ET}&{\bf \textit{n}-value}&{\bf ATL} \\
\hline \hline
{\bf s1196}  &          120 / 1032 &       11.63 &            11 &            22 &    8'' &                    3 &        5 \\
\hline
{\bf s1423}  &          522 / 1147 &       45.51 &            27 &            60 &   17'' &                    3 &        9 \\
\hline
{\bf s5378}  &          484 / 5332 &        9.07 &            18 &            56 &     2' &                    2 &        9 \\
\hline
{\bf s9234}  &           44 / 7810 &        0.56 &             1 &             2 &    3'' &                    7 &       25 \\
\hline{\bf s13207} &         492 / 11993 &        4.10 &             9 &            20 &     1' &                    5 &       25 \\
\hline
{\bf s15850} &          NoSol      &             &               &               &        &                      &          \\
\end{tabular}  \caption[Regularity Extraction REM (Fast) results]{Regularity Extraction REM (Fast) results.\label{t6}}
\end{table}
